mathematical programming optimization competitive intelligence engine operations research seo scheduling solver free puzzle search scip constraint programming iod planning sudoku software intelligence